es{-}val(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es\_val(${\it es}$)($e$)